Dynamic Package Interfaces - Extended Version

A hallmark of object-oriented programming is the ability to perform computation through a set of interacting objects. A common manifestation of this style is the notion of a package, which groups a set of commonly used classes together. A challenge in using a package is to ensure that a client follows the implicit protocol of the package when calling its methods. Violations of the protocol can cause a runtime error or latent invariant violations. These protocols can extend across different, potentially unboundedly many, objects, and are specified informally in the documentation. As a result, ensuring that a client does not violate the protocol is hard. We introduce dynamic package interfaces (DPI), a formalism to explicitly capture the protocol of a package. The DPI of a package is a finite set of rules that together specify how any set of interacting objects of the package can evolve through method calls and under what conditions an error can happen. We have developed a dynamic tool that automatically computes an approximation of the DPI of a package, given a set of abstraction predicates. A key property of DPI is that the unbounded number of configurations of objects of a package are summarized finitely in an abstract domain. This uses the observation that many packages behave monotonically: the semantics of a method call over a configuration does not essentially change if more objects are added to the configuration. We have exploited monotonicity and have devised heuristics to obtain succinct yet general DPIs. We have used our tool to compute DPIs for several commonly used Java packages with complex protocols, such as JDBC, HashSet, and ArrayList.Comment: The only changes compared to v1 are improvements to the Abstract and Introductio

Compile-Time Analysis and Specialization of Clocks in Concurrent Programs

Clocks are a mechanism for providing synchronization barriers in concurrent programming languages. They are usually implemented using primitive communication mechanisms and thus spare the programmer from reasoning about low-level implementation details such as remote procedure calls and error conditions. Clocks provide flexibility, but programs often use them in specific ways that do not require their full implementation. In this paper, we describe a tool that mitigates the overhead of general-purpose clocks by statically analyzing how programs use them and choosing optimized implementations when available. We tackle the clock implementation in the standard library of the X10 programming language—a parallel, distributed object-oriented language. We report our findings for a small set of analyses and benchmarks. Our tool only adds a few seconds to analysis time, making it practical to use as part of a compilation chain

Practical API Protocol Checking with Access Permissions

Reusable APIs often define usage protocols. We previously developed a sound modular type system that checks compliance with typestate-based protocols while affording a great deal of aliasing flexibility. We also developed Plural, a prototype tool that embodies our approach as an automated static analysis and includes several extensions we found useful in practice. This paper evaluates our approach along the following dimensions: (1) We report on experience in specifying relevant usage rules for a large Java standard API with our approach. We also specify several other Java APIs and identify recurring patterns. (2) We summarize two case studies in verifying third-party open-source code bases with few false positives using our tool. We discuss how tool shortcomings can be addressed either with code refactorings or extensions to the tool itself. These results indicate that our approach can be used to specify and enforce real API protocols in practice

Search for single top quarks in the tau+jets channel using 4.8 fb−1^{-1} of ppˉp\bar{p} collision data

We present the first direct search for single top quark production using tau leptons. The search is based on 4.8 fb$^{-1}$ of integrated luminosity collected in $p\bar{p}$ collisions at $\sqrt{s}$=1.96 TeV with the D0 detector at the Fermilab Tevatron Collider. We select events with a final state including an isolated tau lepton, missing transverse energy, two or three jets, one or two of them $b$ tagged. We use a multivariate technique to discriminate signal from background. The number of events observed in data in this final state is consistent with the signal plus background expectation. We set in the tau+jets channel an upper limit on the single top quark cross section of \TauLimObs pb at the 95% C.L. This measurement allows a gain of 4% in expected sensitivity for the observation of single top production when combining it with electron+jets and muon+jets channels already published by the D0 collaboration with 2.3 fb$^{-1}$ of data. We measure a combined cross section of \SuperCombineXSall pb, which is the most precise measurement to date.Comment: 12 pages, 5 figure

Measurement of Z/gamma*+jet+X angular distributions in ppbar collisions at sqrt{s}=1.96 TeV

We present the first measurements at a hadron collider of differential cross sections for Z+jet+X production in delta phi(Z, jet), |delta y(Z, jet)| and |y_boost(Z, jet)|. Vector boson production in association with jets is an excellent probe of QCD and constitutes the main background to many small cross section processes, such as associated Higgs production. These measurements are crucial tests of the predictions of perturbative QCD and current event generators, which have varied success in describing the data. Using these measurements as inputs in tuning event generators will increase the experimental sensitivity to rare signals.Comment: Published in Physics Letters B 682 (2010), pp. 370-380. 15 pages, 6 figure

Search for the standard model Higgs boson in tau final states

We present a search for the standard model Higgs boson using hadronically decaying tau leptons, in 1 inverse femtobarn of data collected with the D0 detector at the Fermilab Tevatron ppbar collider. We select two final states: tau plus missing transverse energy and b jets, and tau+ tau- plus jets. These final states are sensitive to a combination of associated W/Z boson plus Higgs boson, vector boson fusion and gluon-gluon fusion production processes. The observed ratio of the combined limit on the Higgs production cross section at the 95% C.L. to the standard model expectation is 29 for a Higgs boson mass of 115 GeV.Comment: publication versio

Measurement of the p-pbar -> Wgamma + X cross section at sqrt(s) = 1.96 TeV and WWgamma anomalous coupling limits

The WWgamma triple gauge boson coupling parameters are studied using p-pbar -> l nu gamma + X (l = e,mu) events at sqrt(s) = 1.96 TeV. The data were collected with the DO detector from an integrated luminosity of 162 pb^{-1} delivered by the Fermilab Tevatron Collider. The cross section times branching fraction for p-pbar -> W(gamma) + X -> l nu gamma + X with E_T^{gamma} > 8 GeV and Delta R_{l gamma} > 0.7 is 14.8 +/- 1.6 (stat) +/- 1.0 (syst) +/- 1.0 (lum) pb. The one-dimensional 95% confidence level limits on anomalous couplings are -0.88 < Delta kappa_{gamma} < 0.96 and -0.20 < lambda_{gamma} < 0.20.Comment: Submitted to Phys. Rev. D Rapid Communication

Measurement of the ttbar Production Cross Section in ppbar Collisions at sqrt{s} = 1.96 TeV using Kinematic Characteristics of Lepton + Jets Events

We present a measurement of the top quark pair ttbar production cross section in ppbar collisions at a center-of-mass energy of 1.96 TeV using 230 pb**{-1} of data collected by the DO detector at the Fermilab Tevatron Collider. We select events with one charged lepton (electron or muon), large missing transverse energy, and at least four jets, and extract the ttbar content of the sample based on the kinematic characteristics of the events. For a top quark mass of 175 GeV, we measure sigma(ttbar) = 6.7 {+1.4-1.3} (stat) {+1.6- 1.1} (syst) +/-0.4 (lumi) pb, in good agreement with the standard model prediction.Comment: submitted to Phys.Rev.Let

Measurement of the ttbar Production Cross Section in ppbar Collisions at sqrt(s)=1.96 TeV using Lepton + Jets Events with Lifetime b-tagging

We present a measurement of the top quark pair ($t\bar{t}$) production cross section ($\sigma_{t\bar{t}}$) in $p\bar{p}$ collisions at $\sqrt{s}=1.96$ TeV using 230 pb$^{-1}$ of data collected by the D0 experiment at the Fermilab Tevatron Collider. We select events with one charged lepton (electron or muon), missing transverse energy, and jets in the final state. We employ lifetime-based b-jet identification techniques to further enhance the $t\bar{t}$ purity of the selected sample. For a top quark mass of 175 GeV, we measure $\sigma_{t\bar{t}}=8.6^{+1.6}_{-1.5}(stat.+syst.)\pm 0.6(lumi.)$ pb, in agreement with the standard model expectation.Comment: 7 pages, 2 figures, 3 tables Submitted to Phys.Rev.Let